TDIS : an Algebraic Formalization
نویسنده
چکیده
In the light of the success of Top-Down Induction Systems (TDIS), the problems to be addressed concern the structure of descriptions and the exploration of strategies. This paper introduces a formal model to describe TDIS, based on the use of lattice theory and, more precisely, on the use of a Galois connection. One of the advantages of this formalization is that it justifies the extensive use of attribute-value representation in the case of classical TDIS and generalizes this representation to products of hierarchical posets. In addition, given that there are many different learning strategies for TDIS, this formal model shows the limitations of classical strategies and offers a general framework in which many other strategies can be expressed.
منابع مشابه
Determinants of Socioeconomic Inequalities in Traumatic Dental Injuries among Urban Indian Adolescents
OBJECTIVES To assess socioeconomic inequalities in traumatic dental injuries (TDIs) in adolescents in New Delhi and examine the role of material, psychosocial and behavioural factors in explaining these inequalities. METHODS We conducted a cross sectional study of 1386 adolescents aged between 12-15 years residing in three diverse areas of New Delhi. A non-invasive clinical examination was us...
متن کاملAetiology and risk factors related to traumatic dental injuries--a review of the literature.
BACKGROUND/AIM During the past 30 years, the number of aetiologies of traumatic dental injuries (TDIs) has increased dramatically in the literature and now includes a broad spectrum of variables, including oral and environmental factors and human behaviour. The aim of this study is to present an international review of well-known as well as less well-known unintentional and intentional causes o...
متن کاملAlgebraic Matching of Vulnerabilities in a Low-Level Code
This paper explores the algebraic matching approach for detection of vulnerabilities in binary codes. The algebraic programming system is used for implementing this method. It is anticipated that models of vulnerabilities and programs to be verified are presented as behavior algebra and action language specifications. The methods of algebraic matching are based on rewriting rules and techniques...
متن کاملTraumatic dental injuries among 12-year-old Jordanian schoolchildren: an investigation on obesity and other risk factors
BACKGROUND Traumatic dental injury (TDI) is an important public dental health problem among schoolchildren. The aim of the study was to investigate the relationship between TDIs, obesity, and other possible associated factors like gender, overjet, lip coverage, parents' education level and family income among 12-year old Jordanian schoolchildren. METHODS A cross-sectional population-based stu...
متن کاملStar cluster life-times: dependence on mass, radius and environment
The dissolution time (tdis) of clusters in a tidal field does not scale with the “classical” expression for the relaxation time. First, the scaling with N , and hence cluster mass, is shallower due to the finite escape time of stars. Secondly, the cluster half-mass radius is of little importance. This is due to a balance between the relative tidal field strength and internal relaxation, which h...
متن کامل